Networking and Communication Engineering

N. Prasanna Balaji ¹, U. Sreenivasulu ², A. B. Ramesh ³

Affiliations
1 Kakatia University, Warangal, IN
2 Department of Information Technology in Gurunanak Engineering College, in Ranga Reddy Dist., Ibrahimpatnam, Hyderabad, IN
3 Annamacharya Institute of Technology Hyderabad, IN

Abstract

This paper explains about the role of smart phones in cloud computing and how they are likely to replace the role of desktop computers to some extent. This paper explains, starting with introduction of complexity of design and development of an Operating System and no. of responsibilities performed by the OS, how changes to the OS over the time made cut short the responsibilities and is fit into small devices i.e. Mobile OS. The always connectivity of these devices to Internet changed the every action of human life.

Keywords

Operating System, Mobile OS.

Full Text

     

N. Prasanna Balaji ¹, U. Sreenivasulu ², Ganji pramod ²

Affiliations
1 Dept of IT., Gurunank Engineering College, an NBA Accredited College Located in Ranga Reddy Dist, Hyderabad, Ibrahimpatnam, IN
2 Department of Information Technology, JNTU University, Gnec, Hyderabad, Andhra Pradesh, 501510, IN

Abstract

The network security assessment instrument is a comprehensive set of tools that can be used individually or collectively to ensure the security of network aware software applications and systems. Using the various tools collectively provide a distinct advantage for assuring the security of software and systems.Each tool’s resulting output provides feedback into the other tools.Thus more comprehensive assessment results are attained through the leverage each tool provides to the other when the are employed in concert. This project presents a portion of a research project on the generation of the network security assessment instrument to aid developers in assessing and assuring the security of software in the development and maintenance lifecycles.

The portion, the flexible modeling Framework (FMF), has promise in the areas of network security as well as other critical areas such as system safety.

Software Security is a major concern due to the risk to both controlled and no controlled systems from potential lost or corrupted data, theft of information, and unavailability of systems, especially mission critical systems,

This research examines formal verification of IT security of
network aware software and systems through the creation of a security assessment instrument for the software development and maintenance life cycle.
The network security assessment instrument is composed of 5 parts:
1. A Vulnerability Matrix
2. Additional Security Assessment Tools (SATs)
3. A Property Based Testing (PBT) Tool, and
4. A Flexible Modeling Framework (FMF)
5. A Software Security Checklist
The vulnerability contains vulnerability descriptions and the code used to exploit them.
The SATs are a collection of tools available to test for potential weaknesses of software code. The PBT tool performs formal verification of properties at the code level. Like the PBT tool, the FMF formally verifies properties over the system.
The FMF performs this action at the abstract level when code may or may not yet exist.

The SSC will provide software code developers with another instrument for writing secure code for network aware applications

Keywords

Additional Security Assessment Tools (SATs), Flexible Modeling Framework (FMF), Property Based Testing (PBT) Tool, Software Security Checklist (SSC), and Vulnerability Matrix.

Full Text